Search results for "Situation calculus"
showing 4 items of 4 documents
Anchoring symbols to conceptual spaces: the case of dynamic scenarios.
2003
In recent years, there have been several proposals for the realization of models inspired to biological solutions for pattern recognition. In this work we propose a new approach, based on a hierarchical modular structure, to realize a system capable to learn by examples and recognize objects in digital images. The adopted techniques are based on multiresolution image analysis and neural networks. Performance on two different data sets and experimental timings on a single instruction multiple data (SIMD) machine are also reported.
Symbolic and conceptual representation of dynamic scenes: Interpreting situation calculus on conceptual spaces
2001
In (Chella et al. [1,2]) we proposed a framework for the representation of visual knowledge, with particular attention to the analysis and the representation of scenes with moving objects and people. One of our aims is a principled integration of the models developed within the artificial vision community with the propositional knowledge representation systems developed within symbolic AI. In the present note we show how the approach we adopted fits well with the representational choices underlying one of the most popular symbolic formalisms used in cognitive robotics, namely the situation calculus.
A Logical Architecture for Active Network Management
2006
This paper focuses on improving network management by exploiting the potential of “doing” of the Active Networks technology, together with the potential of “planning,” which is typical of the artificial intelligent systems. We propose a distributed multiagent architecture for Active Network management, which exploits the dynamic reasoning capabilities of the Situation Calculus in order to emulate the reactive behavior of a human expert to fault situations. The information related to network events is generated by programmable sensors deployed across the network. A logical entity collects this information, in order to merge it with general domain knowledge, with a view to identifying the roo…
Monitoring wireless sensor networks through logical deductive processes
2006
This paper proposes a distributed multi-agent architecture for wireless sensor networks management, which exploits the dynamic reasoning capabilities of the Situation Calculus in order to emulate the reactive behavior of a human expert to fault situations. The information related to network events is generated by tunable agents installed on the network nodes and is collected by a logical entity for network managing where it is merged with general domain knowledge, with the aim of identifying the root causes of faults, and deciding on reparative actions. The logical inference system has being devised to carry out automated isolation, diagnosis, and, whenever possible, repair of network anoma…